The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
There exists a large number of theoretical results concerning parallel algorithms for the graph problems. One of them is an algorithm for the perfect matching problem, which is also the central part of the algorithm for finding a maximum flow in a net. We have attempted at implementing it on a parallel computer with 12 processors (instead of the theoretical 0(n^3.5m) processors). When pursuing this...
The paper is devoted to the problem of relations between abilities of human mind and automatical information processing. Here we can use the notion of artificial inteligence as the abbrevation of information processing realized by mechanical devices. For the purpose of an analysis of the mentioned problem some classical notions and arguments from computer science are presented.
There exists a large number of theoretical results concerning fast parallel algorithms for graph problems, however, scarcely one finds reports of their practical implementation. In an attempt at partial filling this gap we discuss implementation of an algorithm performing the pretest for k-connectivity. This test is based, first, on the Scan-First Search algorithm introduced in [1]. Utilizing this...
The aim of this paper is to present the origin of Church's thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value.
The development in Internet Technologies created new possibilities and prospects in education. With the idea of large educational service in secondary schools there arose the necessity of choosing the most suitable Internet Technology. The analysis of various technologies resulted in the choice of ColdFusion which proved to be the best for the realization of this project. ColdFusion technology displays...
In this paper we present a cryptographic protocol which is the realization of an electronic auction being the component of the e-government system. This cryptographic protocol fulfils all the functions of the classic auction and additionally, by use of cryptographic primitives, enhances the protection of information. The characteristic features of the protocol are: the incontrovertibility of participants...
The paper present a short description of Customer Relationship Management models that can be applied in the university environment. It focuses on evolution of the models and their approximation to real-life situations.
Documents Clustering is a technique in which relationships between sets of documents are being automatically discovered and documents are divided into groups of similar specimens. The groups that are created during the process of clustering should be specified by the high degree of similarity between the elements that belong to the same group and low degree of similarity between the elements that...
Development of quantum informatics as a new field of computer science poses new challenges to teachers and students of computer science. Among others, very dynamic branches of quantum informatics are quantum programming languages and simulation of quantum systems.This article presents the program of the lecture: Quantum systems of informatics that is proposed to students of last semesters of computer...
In the paper ways in which computers are applied in mathematics are considered. An example of mathematical truth which possesses only computer-assisted proof is the four-color theorem. Based on the example of this theorem we discuss some philosophy connected with admitting computer proofs in mathematics, in particular the status of mathematical knowledge as a pattern of science whose truths are known...
Article presents package of functions for GNU Octave computer algebra system. Those functions were designed to perform simple but not necessary efficient simulations of quantum systems, especially quantum computers. The most important feature of this package is the ability to perform calculations with mixed states.We describe application of quantum-octave package for simulation of Grovers algorithm,...
In this paper the Macromedia MX software application for training and lectures preparation is presented. On the basis of earlier experiences short characteristics and new possibilities of this tool kit are also discussed. Macromedia MX software is used all over the word coming up to current standards and specifications.
In this paper we present the Lecta integrated education system. We show general assumptions of the system and we describe modules of Lecta. System programming platform, teaching aspect and exam module Lecta-Egzaminator are presented in detail.
This paper describes a planned program of investigation designed to determine what characteristics are signficant in predicting performance of students used as subjects in IT system penetration testing testbeds. In large part the experimental design replicates an earlier study by Jonsson et al., and extends that study to include factors describing the attacking subjects. In this way the proposed study...
There is no doubt that XML is rapidly becoming one of the most important data formats. An example of such data are the electronic business documents round via Internet between the partners of B2B business model. In this article the author will describe his experience from the initiation of electronic data interchange with the XML technology, in one of Polish companies.
This article attempts to discuss the problems in building new topologies utilizing embedding. We propose to utilize the cartesian product to describe graphs as a right mathematical solution to adjacency matrix. We applied the cartesian product of two and sets of multiple dimensions in analysis. We proposed methodology of building logical topologies based on utilization of regular and symmetric graphs...
As on the stage systems and networks operation, part of the parameters which are taken into consideration in the design process change its meaning, the project formed earlier can not satisfy the requirements. It is necessary to respect a variability at the time of selected system or network characteristics in the design process. The authors propose a method introducing an indeterminacy to the design...
In this paper a new fast fault simulation technique is presented for calculation of fault propagation through HLPs (High Level Primitives). ROTDDs (Reduced Ordered Ternary Decision Diagrams) are used to describe HLP modules. The technique is implemented in the HTDD RT-level fault simulator. The simulator is evaluated with some ITC99 benchmarks. A hypothesis is proved that a test set coverage of physical...
The paper presents an algorithm of adaptation by successive mesh regeneration and its application to the potential nonlinear flow problems. The Newton-Raphson method is applied to the solution of nonlinear problem. The Kutta-Zhukovsky condition is implemented by the penalty function method. The adaptation algorithm is based on the modification of mesh size function depending on the error indicator...
The problems of artificial neural networks learning and their parallelisation are taken up in this article.The article shows comparison of the Levenberg-Marquardt's method (LMM) and its two modifications JWM (method with Jacobian matrices formed in each step) and BKM (Jacobian calculations only in the first step) for training artificial neural networks. These algorithms have the following properties:...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.